"Michael Huth" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Logic in Computer Science: Modelling and Reasoning about Systems, 2nd Edition

Michael Huth, Mark Ryan

Категория: Компьютеры

2.15 Mb

#2

Logic in computer science

Michael Huth, Mark Ryan

Категория: Discrete math

2.04 Mb

#3

Logic in computer science: modelling and reasoning about systems

Michael Huth, Mark Ryan, M. Huth, M. Ryan

65.36 Mb

#4

Tools and Algorithms for the Construction and Analysis of Systems, 13 conf., TACAS 2007

Orna Grumberg, Michael Huth

Категория: Cs_Computer science, CsLn_Lecture notes

8.60 Mb

#5

Secure Communicating Systems: Design, Analysis, and Implementation

Michael R. A. Huth

22.34 Mb